0x1.fffffep+127